Global Lipschitz stability for an inverse source problem for the Navier–Stokes equations

For linearized Navier–Stokes equations, we consider an inverse source problem of determining a spatially varying divergence-free factor. We prove the global Lipschitz stability by interior data over time interval and velocity field at t0>0 spatial domain. The key machinery are Carleman estimates for equations operator rot.